locknd{-}spread(${\it ik}$; $i$,$k$.$P$($i$;$k$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $i$,$k$ = ${\it ik}$ in $P$($i$;$k$)